LIFSCHITZ, VLADIMIR: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the logic of causal explanation

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 877 KB

english, 1997

2

Closed-world databases and circumscription

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1985

Language:

english

File:

PDF, 250 KB

english, 1985

3

Minimal belief and negation as failure

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 1.01 MB

english, 1994

4

M. Shanahan, Solving the Frame Problem

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 46 KB

english, 2000

5

Stable models and circumscription

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 311 KB

english, 2011

6

Infinitary equilibrium logic and strongly equivalent logic programs

Harrison, Amelia, Lifschitz, Vladimir, Pearce, David, Valverde, Agustín

Journal:

Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 370 KB

english, 2017

7

The Dramatic True Story of the Frame Default

Lifschitz, Vladimir

Journal:

Journal of Philosophical Logic

Year:

2015

Language:

english

File:

PDF, 310 KB

english, 2015

8

Nonmonotonic causal theories

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 420 KB

english, 2004

9

Miracles in formal theories of action

Vladimir Lifschitz, Arkady Rabinov

Journal:

Artificial Intelligence

Year:

1989

Language:

english

File:

PDF, 546 KB

english, 1989

10

IN MEMORIAM: GRIGORI E. MINTS 1939–2014

Feferman, Solomon, Lifschitz, Vladimir

Journal:

Bulletin of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 213 KB

english, 2015

11

[Foundations of Artificial Intelligence] Handbook of Knowledge Representation Volume 3 || Chapter 1 Knowledge Representation and Classical Logic

Lifschitz, Vladimir

Year:

2008

Language:

english

File:

PDF, 578 KB

english, 2008

12

Nested abnormality theories

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 906 KB

english, 1995

13

Guest editor's introduction: Reasoning about action and change

Vladimir Lifschitz

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 94 KB

english, 1997

14

A generalization of the Lin-Zhao theorem

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 481 KB

english, 2006

15

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Properties of Iterated Multiple Belief Revision

Lifschitz, Vladimir, Niemelä, Ilkka

Year:

2004

Language:

english

File:

PDF, 184 KB

english, 2004

16

Program completion in the input language of GRINGO

HARRISON, AMELIA, LIFSCHITZ, VLADIMIR, RAJU, DHANANJAY

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 190 KB

english, 2017

17

Two components of an action language

Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 295 KB

english, 1997

18

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Reasoning About Actions and Change in Answer Set Programming

Lifschitz, Vladimir, Niemelä, Ilkka

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

19

Representing action: indeterminacy and ramifications

Enrico Giunchiglia, G.Neelakantan Kartha, Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 1.88 MB

english, 1997

20

Why are there so many loop formulas?

Lifschitz, Vladimir, Razborov, Alexander

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 89 KB

english, 2006

21

Semantical completeness theorems in logic and algebra

Lifschitz, Vladimir

Journal:

Proceedings of the American Mathematical Society

Year:

1980

Language:

english

File:

PDF, 697 KB

english, 1980

22

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || αProlog: A Logic Programming Language with Names, Binding and α-Equivalence

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 290 KB

english, 2004

23

Representing the Zoo World and the Traffic World in the language of the Causal Calculator

Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 273 KB

english, 2004

24

Relating Two Dialects of Answer Set Programming

HARRISON, AMELIA, LIFSCHITZ, VLADIMIR

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 255 KB

english, 2019

25

Achievements in answer set programming

LIFSCHITZ, VLADIMIR

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 151 KB

english, 2017

26

Preface to the special issue on commonsense and nonmonotonic reasoning

Vladimir Lifschitz

Journal:

Journal of Automated Reasoning

Year:

1995

Language:

english

File:

PDF, 61 KB

english, 1995

27

John McCarthy (1927–2011)

Lifschitz, Vladimir

Journal:

Year:

2011

Language:

english

File:

PDF, 274 KB

english, 2011

28

The logic of common sense

Lifschitz, Vladimir

Journal:

ACM Computing Surveys

Year:

1995

Language:

english

File:

PDF, 208 KB

english, 1995

29

On the satisfiability of circumscription

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1986

Language:

english

File:

PDF, 476 KB

english, 1986

30

Frames in the space of situations

Vladimir Lifschitz

Journal:

Artificial Intelligence

Year:

1990

Language:

english

File:

PDF, 538 KB

english, 1990

31

[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs

Lifschitz, Vladimir, Niemelä, Ilkka

Year:

2004

Language:

english

File:

PDF, 111 KB

english, 2004

32

The Efficiency of an Algorithm of Integer Programming: A Probabilistic Analysis

Vladimir Lifschitz

Journal:

Proceedings of the American Mathematical Society

Year:

1980

Language:

english

File:

PDF, 183 KB

english, 1980

33

Temporal phylogenetic networks and logic programming

ERDEM, ESRA, LIFSCHITZ, VLADIMIR, RINGE, DON

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 235 KB

english, 2006

34

Lloyd-Topor completion and general stable models

LIFSCHITZ, VLADIMIR, YANG, FANGKAI

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 112 KB

english, 2013

35

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Generalised Kernel Sets for Inverse Entailment

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 266 KB

english, 2004

36

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Multi-agent Coordination as Distributed Logic Programming

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 240 KB

english, 2004

37

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Compiling Ask Constraints

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 208 KB

english, 2004

38

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Splitting an Operator

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 239 KB

english, 2004

39

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Main Results of the OADymPPaC Project

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 74 KB

english, 2004

40

Proving infinitary formulas

HARRISON, AMELIA, LIFSCHITZ, VLADIMIR, MICHAEL, JULIAN

Journal:

Theory and Practice of Logic Programming

Year:

2016

Language:

english

File:

PDF, 154 KB

english, 2016

41

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 71 KB

english, 2004

42

What is the inverse method?

Vladimir Lifschitz

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.16 MB

english, 1989

43

ECWA made easy

Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 292 KB

english, 1995

44

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Fast Query Evaluation with (Lazy) Control Flow Compilation

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 169 KB

english, 2004

45

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || Answer Set Programming and the Design of Deliberative Agents

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

File:

PDF, 130 KB

2004

46

Constructive Assertions in an Extension of Classical Mathematics

Vladimir Lifschitz

Journal:

Journal of Symbolic Logic

Year:

1982

Language:

english

File:

PDF, 688 KB

english, 1982

47

[Lecture Notes in Computer Science] Logic Programming Volume 3132 || MProlog: An Extension of Prolog for Modal Logic Programming

Demoen, Bart, Lifschitz, Vladimir

Year:

2004

Language:

english

File:

PDF, 76 KB

english, 2004

48

Semantical Completeness Theorems in Logic and Algebra

Vladimir Lifschitz

Journal:

Proceedings of the American Mathematical Society

Year:

1980

Language:

english

File:

PDF, 247 KB

english, 1980

49

The efficiency of an algorithm of integer programming: a probabilistic analysis

Lifschitz, Vladimir

Journal:

Proceedings of the American Mathematical Society

Year:

1980

Language:

english

File:

PDF, 409 KB

english, 1980

50

Introduction: Logic programming, non-monotonicreasoning and reasoning about actions

Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 32 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски